l\_all($L$; $T$; $x$.$P$($x$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$. ($x$ $\in$ $L$) $\Rightarrow$ $P$($x$)